\documentclass[11pt,a4paper,twoside]{report}

%--------------------------------------------------
% global definitions to be used in the front page
%--------------------------------------------------
\providecommand{\coursename}{Software engineering 2 Project}
\providecommand{\documentsubtitle}{Requiriments Analysis and Specification Document}
\providecommand{\annoacc}{2012-2013}
\providecommand{\principaladviser}{Prof. Raffaela Mirandola}
\providecommand{\firstauthor}{Davide Tateo}
\providecommand{\firstauthorid}{799311}
\providecommand{\secondauthor}{Claudio Rizzo}
\providecommand{\secondauthorid}{800471}
\providecommand{\thirdauthor}{Edoardo Pasi}
\providecommand{\thirdauthorid}{741927}
\title{SWIMv2}
\author{\firstauthor, \secondauthor, \thirdauthor}

\usepackage[margin=3cm]{geometry} % margins set here are for the TITLE page...

\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{tikz}
\usetikzlibrary{arrows,positioning, decorations.text}

\usepackage{graphicx}
\usepackage{booktabs}
\usepackage{listings}
\usepackage{exercise}
\lstset{columns=fullflexible}

\usepackage[T1]{fontenc}
\usepackage{palatino}
\usepackage{mathpazo} 
\lstset{basicstyle=\ttfamily}

\usepackage[pdfauthor={\firstauthor, \secondauthor, \thirdauthor}, pdftitle={SWIMv2 - RASD}, colorlinks, linkcolor=black, urlcolor=black]{hyperref}

\usepackage{amsmath}
\usepackage{amsthm}
\newtheoremstyle{note} % name
	{\topsep} 	% Space above
	{\topsep} 	% Space below
	{\small}		% Body font
	{}		% Indent amount
	{\small\bfseries}% Theorem head font
	{:}		% Punctuation after theorem head
	{.5em}	% Space after theorem head
	{}		% Theorem head spec (can be left empty, meaning ‘normal’)
\theoremstyle{note}
\newtheorem*{nota}{Nota}	
%
\usepackage{settings/frontesp}

\usepackage{fancyhdr}
%% Cambia il carattere delle didascalie delle figure %%
\usepackage[font=small,format=plain,labelfont=bf,up,textfont=it,up]{caption}
\usepackage{comment}

%per le tabelle lunghe e particolari
\usepackage{lscape}

\setlength{\parindent}{0in}  %%solo una proposta: così non serve
% più il \noindent dopo \\

%% Alloy code begins
\usepackage{color}
\usepackage{xcolor}
\usepackage{listings}

\lstdefinelanguage{Alloy}
{morekeywords={abstract, all, and, as, assert, but, check, disj, else,
  exactly, extends, fact, for, fun, iden, if, iff, implies, in, Int,
  int, let, lone, module, no, none, not, one, open, or, part, pred,
  run, seq, set, sig, some, sum, then, univ},
sensitive=true,
keywordstyle=\color{blue}\bfseries,
morecomment=[l][\color{green}]{--},
morecomment=[l][\color{green}]{//},
morecomment=[l][\color{green}]{/*},
morecomment=[l][\color{green}\bfseries]{/**},
tabsize=4,
columns=fullflexible,
literate={->}{{$\to\mbox{}$}}1 {^}{{$\mspace{-3mu}\widehat{\quad}\mspace{-3mu}$}}1
 {<}{$<$ }2 {>}{$>$ }2 {>=}{$\geq$ }2 {=<}{$\leq$ }2
 {<:}{{$<\mspace{-3mu}:$}}2 {:>}{{$:\mspace{-3mu}>$}}2
 {=>}{{$\Rightarrow$ }}2 {+}{$+$ }2 {++}{{$+\mspace{-8mu}+$ }}2
 {\~}{{$\mspace{-3mu}\widetilde{\quad}\mspace{-3mu}$}}1
 {!=}{$\neq$ }2 {*}{${}^{\ast}$}1 {.}{$\cdot$}1
 {\#}{$\#$}1
}

\usepackage{caption}
\DeclareCaptionFont{white}{\color{white}}
\DeclareCaptionFormat{listing}{\colorbox{gray}{\parbox{\textwidth}{#1#2#3}}}
\captionsetup[lstlisting]{format=listing,labelfont=white,textfont=white}

%%%%% 

%e.g.
%\begin{lstlisting}[label=some-code,caption=Some Code]
%public void here() {
%	goes().the().code()
%}
%\end{lstlisting}



%Alloy code ends





\begin{document}


\titlep
\newgeometry{top=4cm,bottom=4cm,right=4cm,left=4cm}
\include{settings/theme}

\tableofcontents
\cleardoublepage


% --------------------------------------------------------------------------------------------------------------------
% Capitoli

% \include con i nomi dei capitoli

\include{contents/introduction}
\include{contents/OverallDescription}
\include{contents/SpecificRequirements}

% Appendici
\appendix
\include{contents/FormalAnalisys}

% --------------------------------------------------------------------------------------------------------------------
% Bibliografia - nothing for now!
%\bibliographystyle{plain}
%\input{contents/bibliography.tex}

% --------------------------------------------------------------------------------------------------------------------

\end{document}
